Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
401	Verifying Epistemic Protocols under Common Knowledge Yanjing Wang Lakshmanan Kuppusamy Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:56:05 Linear temporal logic Μ operator Model theory Operator theory Mathematics Function Mathematical logic
402	Comments on ‘Modal Fixed Point Logic and Changing Models’ Jan van Eijck August 2007 This is indeed a very nice draft that I have read with great pleasure, and that has helped me to better understand the completeness Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 12:37:15 Model theory Propositional calculus Formal languages Substitution Interpretation Modal logic Epistemic modal logic Completeness Linear temporal logic Logic Mathematical logic Metalogic
403	Model Checking of Restricted CTL* formulas using ALCKR+ Taufiq Rochaeli and Claudia Eckert Department of Computer Science Technische Universitt Darmstadt {rochaeli,eckert}@sec.informatik.tu-darmstadt.de Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Temporal logic Semantics Ontology Linear temporal logic CTL* Kripke semantics Abox Tbox Interpretation Logic Mathematical logic Philosophy of language
404	Tutorial 19: Fourier Transform 1 Add to Reading List Source URL: www.probability.net Language: English - Date: 2004-07-25 11:24:30 Convolution Linear temporal logic Dirac delta function Mathematical analysis Fourier analysis Fourier transform
405	MARGARITA MATHEMATICA EN MEMORIA DE ´ JAVIER (CHICHO) GUADALUPE HERNANDEZ ´ Add to Reading List Source URL: www.emis.ams.org Language: English - Date: 2002-05-31 14:14:30 Philosophy of physics Linear temporal logic Quantum mechanics Μ operator Operator theory Physics Operator
406	Big Toy Models: Representing Physical Systems As Chu Spaces Samson Abramsky Oxford University Computing Laboratory September 23, 2009 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:53 Mathematical analysis Representation theory Dual space Quantum logic Adjoint functors Interpretation Self-adjoint operator Operator Linear temporal logic Physics Operator theory Mathematics
407	Description Logics Description Logics and Logics Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Metalogic Model theory Philosophical logic Satisfiability Modal logic Temporal logic Description logic Well-formed formula Linear temporal logic Logic Mathematical logic Non-classical logic
408	Description Logics Using First Order Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Metalogic Logical syntax Propositional calculus First-order logic Interpretation Satisfiability Well-formed formula Linear temporal logic Entailment Logic Model theory Formal languages
409	SHELAH’S STABILITY SPECTRUM AND HOMOGENEITY SPECTRUM IN FINITE DIAGRAMS. RAMI GROSSBERG AND OLIVIER LESSMANN Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2000-06-27 04:41:57 Mathematical analysis Model theory Stability spectrum Spectrum Operator theory Spectral theory of ordinary differential equations Linear temporal logic Mathematics Spectral theory Algebra
410	Functional Reactive Types Alan Jeffrey Alcatel-Lucent Bell Labs Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2014-03-31 14:30:31 Logic Linguistics Philosophy Linear temporal logic Temporal logic Interpretation

UPDATE